Nuprl Definition : atom-deq
11,40
postcript
pdf
atom-deq == <
a
,
b
. eq_atom(
a
;
b
), TERMOF{
atom-deq-aux
:ObjectId, 1:l}>
latex
Definitions
atom-deq-aux
,
eq_atom(
x
;
y
)
FDL editor aliases
atom-deq
origin
a,b. eq_atom(a; b), TERMOF{atom-deq-aux:ObjectId, 1:l}> a,b. eq_atom(a; b), TERMOF{atom-deq-aux:ObjectId, 1:l}>